Assumptions: right cancellative, self-dual
Conclusions: left cancellative
Reason: This holds by self-duality.